%option noyywrap
%{
	#include <set>
	#include <string>
	#include <stdlib.h>
	#include <iostream>
	using namespace std;
	set<string> table;
	string id = "201492139";
	string myname = "czy";
	int IntNumber = 0;
	long long int  temp =0;
	int Unique_IntNumber = 0;
%}
%%
^[0-9]{9}		{IntNumber++;table.insert(yytext);cout<<id;}
"NAME"$		{cout<<myname;}
[0-9]+(.[0-9]+)?	{temp = (long long int)(atof(yytext)*2+201492139);cout<<temp;IntNumber++;table.insert(yytext);}
.	{ECHO;}
%%
int main(){
	yylex();
	Unique_IntNumber = table.size();
	cout<<"int_number:"<<IntNumber<<"\tunique_number:"<<Unique_IntNumber<<endl;
	return 0;	
}